CRYPTOGRAPHIC PROTOCOL SECURITY IN NATIONAL ENCRYPTION APPLICATIONS

In the era of digital transformation, information exchange, especially confidential and strategic has become most vital aspect for almost all organizations. Various bad precedents regarding classified leaks in Indonesia have a slap face that must be acknowledge answered with effective solutions. 2020, XYZ Agency developed file encryption application (ABC Application) to address challenge securing information, those transmitted on electronic channels. Until 2022, ABC Application been implemented limited scope its implementation is planned expanded nationally. After 2 years operation, conducted study security algorithm used Application, but unfortunately not an in-depth protocol suite Application. this research, analysis suites, namely registration protocol, user verification, key generation, request encryption-decryption process was through formal verification approach using Scyther Tool. The focuses aspects guaranteeing confidentiality authentication four criteria, secrecy, aliveness, synchronization, agreement. experimental results showed these protocols meet criteria general weaknesses aspect, synchronization agreement criteria. Based weaknesses, technical recommendations are proposed able overcome identified weaknesses.